#include <stdio.h>

int main() {
  char str[15] = {0};
  scanf("%[^\n]s", str);
  getchar();
  printf("%s\n", str);
  char str2[25] = "Hello, World!\n";
  printf("%s\n", str2);
  return 0;
}